Verification of Annotated Models from Executions ABSTRACT Simulations can help enhance confidence in system designs but they provide almost no formal guarantees. In this paper, we present a simulation-based verification

Source URL: publish.illinois.edu

Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607

Source URL: cims.nyu.edu

• Search algorithms
• Routing algorithms
• Combinatorial optimization
• Mathematics
• Information science
• Information retrieval
• Game artificial intelligence
• A* search algorithm
• Heuristic
• Bayesian network
• Dijkstra's algorithm
• Algorithm

NO Need to Worry about Adversarial Examples in Object Detection in Autonomous Vehicles Jiajun Lu∗, Hussein Sibai∗, Evan Fabry, David Forsyth University of Illinois at Urbana Champaign {jlu23, sibai2, efabry2, daf}@il

Source URL: negative.vision

• Applied mathematics
• Mathematics
• Artificial neural network
• Computational neuroscience
• Market research
• Market segmentation
• Mathematical psychology
• Perturbation theory
• Outline of machine learning
• Adversary
• Traffic sign
• Analysis

Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.

Source URL: taktoa.me

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Programming paradigms
• Haskell
• Literate programming
• Functional programming
• OCaml
• Bachelor of Computer Science
• Conditional

Slick Packets Giang T. K. Nguyen Rachit Agarwal Junda Liu

Source URL: pbg.cs.illinois.edu

• Computing
• Network architecture
• Internet architecture
• Information and communications technology
• Routing
• Computer networking
• Internet Standards
• Router
• Forwarding plane
• Open Shortest Path First
• Multiprotocol Label Switching
• Source routing

TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks Hussein Darir, Hussein Sibai, Nikita Borisov, Geir Dullerud, Sayan Mitra Coordinated Science Laboratory University of Illinois at Urbana-Champaign

Source URL: mitras.ece.illinois.edu

PDF Document

Source URL: www.cmap.illinois.gov

PDF Document

Source URL: www.uni.illinois.edu

PDF Document

Source URL: ctrlshift.mste.illinois.edu

PDF Document

Source URL: maxim.ece.illinois.edu